00100		A computer program that can reason about strategies for solving
00200	real world problems requires formalizations of concepts of causality,
00300	ability to perform actions and knowwledge.  Formalizing these concepts
00400	has also concerned philosophers.  However, the artificial intelligence
00500	application suggests a different approach than has been taken by many
00600	philosophers, and this approach may also be appropriate for philosophical
00700	purposes than the traditional approaches.
00800	
00900		Namely, it seems to me that philosophers have traditionally taken
01000	one of two attitudes towards the explication of concepts.  The first
01100	attitude is to try to get at the essence of the concept, and the second
01200	attitude is try to get at the usage of the words used to express the
01300	concept in ordinary language.
01400	
01500		The artificial intelligence approach permits us to take a third
01600	attitude towards explicating concepts.  Namely, we can try to formalize
01700	the concept in such a way that the information necessary for the solution
01800	of typical problems involving the concept is adequately expressed.
01900	The criterion of adequacy is that it must be a logical consequence of
02000	the general axioms involving the concept, the general axioms about
02100	the results of actions, and the particular facts of the problem
02200	situation that a certain strategy of action will solve the problem.
02300